(echo_area_display): If cursor is in the echo area, make
authorGerd Moellmann <gerd@gnu.org>
Thu, 30 Nov 2000 21:57:05 +0000 (21:57 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 30 Nov 2000 21:57:05 +0000 (21:57 +0000)
commit819252a4fc4a274106bb49b8348ff73a9867731e
treecb02681de7366cc9d59a2cfe8606f808e6f8c7cf
parentcc5cc843cf49a3261b867e8d7aa15ced1945e683
(echo_area_display): If cursor is in the echo area, make
sure that the next redisplay displays the minibuffer, so that
the cursor will be replaced with what the minibuffer wants.
src/xdisp.c